Category Theory for Computer Science - mrsekut-p

Category Theory for Computer Science

http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf

http://www.cs-study.com/koga/category/short_explanation_of_Barr_and_Wells_j.html

解説